下列公式满足形式A→(B→C)的有：A:p→(q→(r→s)) B:p→((q→r)→s) C:(p→(q→r))→s D:(p→q)→(r→s) 答案: p→(q→(r→s)); p→((q→r)→s); (p→q)→(r→s)第三周 命题逻辑（二） 第三周单元测验